『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 8 Homotopy theory
ホモトピー論の章
table:訳
英語 日本語
Quillen model category Quillenモデル圏
nature 性質
continuous deformation 連続変形
canonicity 正準性
canonicity property 正規性？
(weak)∞-groupoid 弱∞-グルーポイド
fundamental groupoid 基本グルーポイド
Kan simplicial sets カン単体的集合？
(∞-1)-toposes (∞-1)トポス
universal properties of higher inductives 高次帰納の普遍性？
Hopf fibration Hopfファイブレーション
higher inductive types 高次帰納的型
amenable 適している
back and forth 前後
trivial
higher homotopy group 高次ホモトピー群